تعداد ۲۷ پاسخ غیر تکراری از ۲۷ پاسخ تکراری در مدت زمان ۰,۸۱ ثانیه یافت شد.

1. Cellular automata and discrete complex systems :

پدیدآورنده : Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software

رده :

QA267

.

5

.

C45

2. Certified Programs and Proofs :

پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.

رده :

QA76

.

9

.

M35

E358

2012

3. Coalgebraic methods in computer science

پدیدآورنده : Dirk Pattinson, Lutz Schröder (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses

رده :

QA76

.

9

.

M35

W67

2012eb

4. Coalgebraic methods in computer science :

پدیدآورنده : Corina Cîrstea (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.

رده :

QA76

.

9

.

M35

5. FME 2002 :

پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :

QA76

.

76

.

D47

I593

2002

6. FME 2003 :

پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :

QA76

.

76

.

D47

I593

2003

7. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :

QA

76

.

L28

Vol

.

2805

8. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :

QA

76

.

L28

Vol

.

2391

9. Fields of Logic and Computation II

پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :

QA

76

.

9

.

L63

F54

2015

E-Book

,

10. Mathematical and Engineering Methods in Computer Science

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها

رده :

E-Book

,

11. Mathematical and Engineering Methods in Computer Science

پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها

رده :

QA

75

.

5

.

M32

2016

E-Book

,

12. Mathematical and engineering methods in computer science

پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses

رده :

QA75

.

5

.

M46

2011eb

13. Perspectives of System Informatics

پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :

QA

76

.

758

.

P47

2015

E-Book

,

14. Recent trends in algebraic development techniques

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;

15. Recent trends in algebraic development techniques

پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :

QA

76

.

76

.

D47

W32

2015

E-Book

,

16. Recent trends in algebraic development techniques :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;

17. Recent trends in algebraic development techniques

پدیدآورنده : Narciso Martí-Oliet, Miguel Palomino (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses

رده :

QA76

.

76

.

D47

W33

2012

18. Recent trends in algebraic development techniques

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;

19. Recent trends in algebraic development techniques :

پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)

رده :

QA76

.

76

.

D47

20. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

پدیدآورنده : Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :

QA

76

.

L28

Vol

.

3423

»
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها